🏭 Functional CompilersML Compilers, Hindley-Milner Implementation, Pattern Match Compilation, Closure Conversion